<html>
<body>
Rename occurrences of text under caret in the entire file.
</body>
</html>